- q-арный
- Information technology: q-ary
Универсальный русско-английский словарь. Академик.ру. 2011.
q-арный
Смотреть что такое "q-арный" в других словарях:
Нуль-арный конструктор — В компьютерном программировании нуль арным конструктором (в англ. языке используется термин nullary constructor) называют конструктор, не принимающий аргументы. Содержание 1 Объектно ориентированные конструкторы 1.1 … Википедия
Арность — предиката, операции или функции в математике количество их аргументов, или операндов. Слово образовалось из названий предикатов небольшой арности (унарный один аргумент, бинарный два, тернарный три). Также для этих целей… … Википедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
камфорный — к амфорный и камф арный (к амфорное д ерево; но: к амфорное и камф арное м асло, к амфорный камф арный сп ирт) … Русский орфографический словарь
стогектарный — стогект арный (100 гект арный) … Русский орфографический словарь
унарный — ая, ое; рен, рна, рно. [от лат. ūnus один и части ...ārius из слов (бин)арный, (терн)арный]. Спец. Состоящий из одной части, одного компонента; являющийся одинарным. О ая связь. О ое отношение … Энциклопедический словарь
